$\forall$$A$:Type, $l$:$A$ List$^{+}$. $\parallel$$l$$\parallel\geq$1